Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
391	CHAPTER TRUTH TABLES, LOGIC, AND PROOFS ■ 1.1 Add to Reading List Source URL: www.macrotex.net Language: English - Date: 2002-12-01 12:22:21 Mathematics Abstract algebra Logical connectives Semantics Truth table Negation If and only if Vacuous truth Tautology Logic Propositional calculus Boolean algebra
392	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:11 Boolean algebra Diagrams Binary decision diagram Model checking Datalog Monica S. Lam Algorithm Pointer Stack Computing Software engineering Programming language theory
393	Mem Cogn[removed]:266–279 DOI[removed]s13421[removed]Reasoning from connectives and relations between entities Robert Mackiewicz & Philip N. Johnson-Laird Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:07 Propositional calculus Reasoning Boolean algebra Binary operations Logical connectives Logical biconditional Mental model Validity Inference Logic Science Knowledge
394	c 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promo Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-04-14 05:36:42 Diagrams Algorithm Theoretical computer science Binary decision diagram Economic model Model checking Function Mathematics Boolean algebra Mathematical logic
395	Microsoft Word - ALL_LDLT_WORK13.doc Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2008-02-15 10:38:50 Mathematics Language Boolean algebra Logic Negation Double negative Polarity item Yes and no Negative Grammar Linguistics Semantics
396	10.6 Monotone circuits 123 For two boolean functions f and g in n variables, we write f 6 g if f (x) 6 g(x) for all x ∈ {0, 1}n . Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2007-08-30 03:42:27 Algebraic logic Boolean algebra
397	R Foundations and Trends in Theoretical Computer Science Vol. 9, No–123 c 2013 S. Jukna and I. Sergeev Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2014-01-24 16:28:13 Circuit complexity Linear algebra Computational complexity theory Arithmetic circuit complexity Binary operations Boolean algebra Matrix Rank Exclusive or Theoretical computer science Algebra Mathematics
398	How to transform UML neg into a useful construct Ragnhild Kobro Runde1 Øystein Haugen1 Ketil Stølen1,2 1 Department of Informatics, University of Oslo 2 SINTEF ICT {ragnhilk,oysteinh}@iﬁ.uio.no, ketil.stolen@sintef.n Add to Reading List Source URL: www.nik.no Language: English - Date: 2005-12-08 10:05:47 Propositional calculus Mathematics Grammar Negation Semantics FO Negative Logic Mathematical logic Boolean algebra
399	2874CD2.qxd[removed]:05 PM Page 1 The RichBar Example Copyright ©2001 SYBEX, Inc., Alameda, CA Add to Reading List Source URL: www.marcocantu.com Language: English - Date: 2014-06-26 17:11:53 Computing Boolean data type Software engineering Computer programming Procedural programming languages Boolean algebra Computer file Inter-process communication
400	How break RSA-1024 ? Asprotect[removed]11c - BETA v3 : DON’T SHARE IT by Amenesia//TKM! Mais le vice n’a point pour m`ere la science, Et la vertu n’est pas fille de l’ignorance. Add to Reading List Source URL: www.secnews.pl Language: English - Date: 2015-02-11 16:53:40 Propositional calculus Electronic commerce Public-key cryptography RSA Primality test Division Prime number Exclusive or Arithmetic Mathematics Abstract algebra Boolean algebra

UPDATE